1261. Theory of computation
پدیدآورنده: Brainerd, Walter S
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Sequential machine theory,، Recursive functions,، Programming languages ) Electronic computers (
رده :
QA
267
.
5
.
S4
B68
1262. #Theory of computation
پدیدآورنده: #]by[ Walter S. Brainerd ]and[ Lawrence H. Landweber
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Sequential machine theory ،Recursive functions ،Programming languages )Electronic computers(
رده :
#
QA
،#.
S4
,
B68
1263. Theory of computation
پدیدآورنده: / (by) Walter S. Brainerd (and) Lawrence H. Landweber
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Sequential machine theory,Recursive functions,Programming languages (Electronic computers)
رده :
QA
267
.
5
.
S4
B68
1264. Thinking in LINQ :
پدیدآورنده: Sudipta Mukherjee
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Query languages (Computer science)
رده :
QA76
.
7
1265. Threaded interpretive languages: their desing and implementation
پدیدآورنده: Loeliger, R. G
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(,، Interpreters )Computer programs(
رده :
QA
76
.
7
.
L63
1266. Time-shared computer languages
پدیدآورنده:
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Time-sharing computer systems
رده :
QA
76
.
7
.
S36
1267. Time-shared computer languages: an introduction to conversational computing
پدیدآورنده: Schur, Lee David.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Time-sharing computer systems
رده :
QA
76
.
7
.
S36
1268. Towards a formal description of Ada
پدیدآورنده: edited by D. Bjorner and O.N. Oest
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
L4
v
.
98
1269. Towards a formal description of Ada
پدیدآورنده: edited by D. Bjørner and O.N. Oest.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
E358
1980
1270. Transactions on pattern languages of programming II
پدیدآورنده: James Noble ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Software engineering,Software patterns
رده :
QA76
.
76
.
P37
T73
2011
1271. Transactions on pattern languages of programming IV /
پدیدآورنده: James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Software patterns.,Programming languages (Electronic computers),Software patterns.
رده :
QA76
.
76
.
P37
1272. Transitioning to Swift /
پدیدآورنده: Scott Gardner
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software-- Development,Programming languages (Electronic computers)
رده :
QA76
.
76
.
A65
1273. Translation of programming languages
پدیدآورنده: Jonas, Ronald William.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
J62
1274. Tree automata and languages
پدیدآورنده: / edited by Maurice Nivat, Andreas Podelski
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Sequential machine theory,Trees (Graph theory),Programming languages (Electronic computers)
رده :
QA
267
.
5
.
S4
T74
1992
1275. Trees in Algebra and Programming - CAAP '96 :
پدیدآورنده: edited by Hélène Kirchner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming.,Computer science.,Programming languages (Electronic computers)
رده :
QA166
.
2
E358
1996
1276. Truth, deduction, and computation
پدیدآورنده: / R.E. Davis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
رده :
QA76
.
7
.
D386
1989
1277. Turbo C++ suite.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software.,Compilers (Computer programs),Programming languages (Electronic computers)
رده :
QA76
.
73
.
C153
T873
1998
1278. Turbo Pascal
پدیدآورنده:
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Object-oriented programming )Computer science(- Software,، Compilers )Computer programs(- Software,، Programming languages )Electronic computers(- Software
رده :
QA
76
.
73
.
P2
1279. Turbo Pascal : Library reference
پدیدآورنده:
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Turbo Pascal )computer file(,، Programming languages )Electronic computers( -- Software
رده :
QA
76
.
73
.
P2T86
1280. Turbo pascal: Advanced programmer's Guide
پدیدآورنده: O'Brien, Stephen K.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Pascal )Computer program languages(,، Programming languages )Electronic computers(
رده :
QA
76
.
73
.
P3O2
